Matrix-Geometric Solution of In nite Stochastic Petri Nets
نویسنده
چکیده
In this paper we characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such an approach are that very eecient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. We rst characterize the class of stochastic Petri nets of interest by formally deening a number of constraints that have to be fulllled. We then discuss the matrix geometric solution technique that can be employed and present some boundary conditions on tool support. We illustrate the practical usage of the class of stochastic Petri nets with two examples: a queueing system with delayed service and a model of connection management in ATM networks.
منابع مشابه
Steady-State Analysis of In nite Stochastic Petri Nets: Comparing the Spectral Expansion and the Matrix-Geometric Method
In this paper we investigate the eeciency of two solution approaches to innnite stochastic Petri nets: the matrix-geometric method and the spectral expansion method. We rst informally present innnite stochas-tic Petri nets, after which we describe, using uniform notation, the matrix-geometric and the spectral expansion method. We put special emphasis on the numerical aspect of the solution proc...
متن کاملMatrix-Geometric Solution of Infinite Stochastic Petri Nets
I n this paper we characterize a class of stochastic Petri nets that can be solved using matrix geometric techniques. Advantages of such a n approach are that very efficient mathematical technique become available for practical usage, as well as that the problem of large state spaces can be circumvented. W e first characterize the class of stochastic Petri nets of interest by formally defining ...
متن کاملSteady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method
In this paper we investigate the efficiency of two solution approaches to infinite stochastic Petri nets: the matrix-geometric method and the spectral expansion method. We first informally present infinite stochastic Petri nets, after which we describe, using uniform notation, the matrix-geometric and the spectral expansion method. We put special emphasis on the numerical aspect of the solution...
متن کاملspn2mgm: Tool Support for Matrix-Geometric Stochastic Petri Nets
In this paper we present the tool spn2mgm that can be used to construct and solve stochastic Petri nets using matrix-geometric techniques. The tool automatically recognizes the \matrix-geometric structure" of the Markov chain underlying the stochastic Petri net, and solves the Markov chain with these well-known and ef-cient techniques. We informally characterize the class of stochastic Petri ne...
متن کاملDiscrete Deterministic and Stochastic Petri
Petri nets augmented with timing speciications gained a wide acceptance in the area of performance and reliability evaluation of complex systems exhibiting concurrency, synchronization , and connicts. The state space of time-extended Petri nets is mapped onto its basic underlying stochastic process, which can be shown to be Markovian under the assumption of exponentially distributed ring times....
متن کامل